proof literature